# MiniChrest

This repository contains the MiniChrest and Perceptron code used in the paper:

* P.C.R. Lane and F. Gobet, 'A theory-driven testing methodology for developing scientific software', _Journal of Experimental and Theoretical Artificial Intelligence_, 24:421-56, 2012.

The code is written in Common Lisp.

